Kröpf, Thomas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A flowgraph semantics of VHDL: Toward a VHDL verification workbench in HOL

Ralf Reetz, Thomas Kropf

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.40 MB

english, 1995

2

Testing the dispersion behaviour and dispersion properties of textile dyes

Thomas Van Chambers, Uwe Kosubek, Markus Krayer, Rudolf Kropf, Alan Leaver, Jurgen Varwig, Karl-Christian von Puttkamer

Journal:

Coloration Technology

Year:

1989

Language:

english

File:

PDF, 407 KB

english, 1989

3

Numerical Computation of the Schwarz–Christoffel Transformation for Multiply Connected Domains

DeLillo, Thomas K., Kropf, Everett H.

Journal:

SIAM Journal on Scientific Computing

Year:

2011

Language:

english

File:

PDF, 1.39 MB

english, 2011

4

Impact of Thoracic Epidural Analgesia on Blood Loss in Radical Retropubic Prostatectomy

Baumunk, Daniel, Strang, Christof Maria, Kropf, Siegfried, Schäfer, Michael, Schrader, Mark, Weikert, Steffen, Cash, Hannes, Breckwoldt, Jan, Miller, Kurt, Hachenberg, Thomas, Schostak, Martin

Journal:

Urologia Internationalis

Year:

2014

Language:

english

File:

PDF, 169 KB

english, 2014

5

Electric Powertrain’s Impact on Braking System

Duval-Destin, Marc, Kropf, Thomas, Abadie, Vincent, Fausten, Michael

Journal:

Auto Tech Review

Year:

2015

Language:

english

File:

PDF, 860 KB

english, 2015

6

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Verification of temporal properties in automotive embedded software

Lettnin, Djones, Nalla, Pradeep K., Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang, Kirsten, Tobias, Schönknecht, Volker, Reitemeyer, Stephan

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

7

Spontaneous graft versus host disease occurring in a patient with multiple myeloma after autologous stem cell transplant

Christian Fidler, Thomas Klumpp, Kenneth Mangan, MaryEllen Martin, Manish Sharma, Robert Emmons, Meina Lu, Patricia Kropf

Journal:

American Journal of Hematology

Year:

2012

Language:

english

File:

PDF, 2.25 MB

english, 2012

8

Distributed Symbolic Bounded Property Checking

Pradeep K. Nalla, Roland J. Weiss, Prakash Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 354 KB

english, 2006

9

Structural and mechanistic features of intermetallic materials for lithium batteries

J.T. Vaughey, C.S. Johnson, A.J. Kropf, R. Benedek, M.M. Thackeray, H. Tostmann, T. Sarakonsri, S. Hackney, L. Fransson, K. Edström, J.O. Thomas

Journal:

Journal of Power Sources

Year:

2001

Language:

english

File:

PDF, 178 KB

english, 2001

10

HIST: A hierarchical self test methodology for chips, boards, and systems

Oliver F. Haberl, Thomas Kropf

Journal:

Journal of Electronic Testing

Year:

1995

Language:

english

File:

PDF, 2.14 MB

english, 1995

11

Structuring and automating hardware proofs in a higher-order theorem-proving environment

Ramayya Kumar, Klaus Schneider, Thomas Kropf

Journal:

Formal Methods in System Design

Year:

1993

Language:

english

File:

PDF, 2.47 MB

english, 1993

12

Accelerating tableaux proofs using compact representations

Klaus Schneider, Ramayya Kumar, Thomas Kropf

Journal:

Formal Methods in System Design

Year:

1994

Language:

english

File:

PDF, 1.69 MB

english, 1994

13

Tumor necrosis factor alpha (TNFα) and transforming growth factor β1 (TGFβ1) stimulate fibronectin synthesis and the transdifferentiation of fat-storing cells in the rat liver into myofibroblasts

Max G. Bachem, Klaus-Martin Sell, Ralf Melchior, Jürgen Kropf, Thomas Eller, Axel M. Gressner

Journal:

Virchows Archiv B Cell Pathology Zell-pathologie

Year:

1993

Language:

english

File:

PDF, 2.66 MB

english, 1993

14

An organic coating keeps orb-weaving spiders (Araneae, Araneoidea, Araneidae) from sticking to their own capture threads

Christian Kropf, Dina Bauer, Thomas Schläppi, Alain Jacob

Journal:

Journal of Zoological Systematics and Evolutionary Research

Year:

2012

Language:

english

File:

PDF, 123 KB

english, 2012

15

Can galactography-guided stereotactic, 11-gauge, vacuum-assisted breast biopsy of intraductal lesions serve as an alternative to surgical biopsy?

Caecilia S. Reiner, Thomas H. Helbich, Margaretha Rudas, Lothar Ponhold, Christopher C. Riedl, Nina Kropf, Michael H. Fuchsjäger

Journal:

European Radiology

Year:

2009

Language:

english

File:

PDF, 169 KB

english, 2009

16

Omalizumab in patients with severe asthma: the XCLUSIVE study

Christian Schumann, Cornelia Kropf, Thomas Wibmer, Stefan Rüdiger, Kathrin Magdalena Stoiber, Antje Thielen, Wolfgang Rottbauer, Claus Kroegel

Journal:

The Clinical Respiratory Journal

Year:

2012

Language:

english

File:

PDF, 643 KB

english, 2012

17

Analysis of a single nucleotide polymorphism in codon 388 of the FGFR4 gene in malignant gliomas

Christian Mawrin, Elmar Kirches, Sabine Diete, Falk R. Wiedemann, Thomas Schneider, Raimund Firsching, Siegfried Kropf, Bernhard Bogerts, Christian K. Vorwerk, Sabine Krüger, Knut Dietzmann

Journal:

Year:

2006

Language:

english

File:

PDF, 216 KB

english, 2006

18

Singlet oxygen (1O2) Inactivates Plasmatic Free and Complexed α2-Macroglobulin

Thomas W Stief, Jürgen Kropf, Volker Kretschmer, Manfred O Doss, Jawed Fareed

Journal:

Thrombosis Research

Year:

2000

Language:

english

File:

PDF, 103 KB

english, 2000

19

Improvement of prognostic power of the Child–Pugh classification of liver cirrhosis by hyaluronan

Thomas Körner, Jürgen Kropf, Britta Kosche, Hartmut Kristahl, Daniel Jaspersen, Axel M Gressner

Journal:

Journal of Hepatology

Year:

2003

Language:

english

File:

PDF, 143 KB

english, 2003

20

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 1703 || Bisimulation and Model Checking

Pierre, Laurence, Kropf, Thomas

Year:

1999

Language:

english

File:

PDF, 93 KB

english, 1999

21

Serum laminin and hyaluronan in liver cirrhosis: markers of progression with high prognostic value

Thomas Körner, Jürgen Kropf, Axel Michael Gressner

Journal:

Journal of Hepatology

Year:

1996

Language:

english

File:

PDF, 548 KB

english, 1996

22

Impacts of an Electric Powertrain on the Braking System

Dr. Marc Duval-Destin, Prof. Dr. Thomas Kropf, Dr. Vincent Abadie, Dr. Michael Fausten

Journal:

ATZautotechnology

Year:

2011

Language:

english

File:

PDF, 806 KB

english, 2011

23

Assessment of desmosomal components (desmoglein 1-3, plakoglobin) in cardia mucosa in relation to gastroesophageal reflux disease and Helicobacter pylori infection

Thomas Wex, Doerthe Kuester, Klaus Mönkemüller, Antje Stahr, Lucia C. Fry, Arne Kandulski, Siegfried Kropf, Albert Roessner, Peter Malfertheiner

Journal:

Human Pathology

Year:

2012

Language:

english

File:

PDF, 1.19 MB

english, 2012

24

Role of tight junction proteins in gastroesophageal reflux disease

Klaus Mönkemüller, Thomas Wex, Doerthe Kuester, Lucia C Fry, Arne Kandulski, Siegfried Kropf, Albert Roessner, Peter Malfertheiner

Journal:

BMC Gastroenterology

Year:

2012

Language:

english

File:

PDF, 493 KB

english, 2012

25

[IEEE 2006 Proceedings of the 32nd European Solid-State Circuits Conference - Montreaux, Switzerland (2006.09.19-2006.09.21)] 2006 Proceedings of the 32nd European Solid-State Circuits Conference - A 2.2mW, Continuous-Time Sigma-Delta ADC for Voice Coding with 95dB Dynamic Range in a 65nm CMOS Process

Dorrer, Lukas, Kuttner, Franz, Santner, Andreas, Kropf, Claus, Hartig, Thomas, Torta, Patrick, Greco, Patrizia

Year:

2006

Language:

english

File:

PDF, 768 KB

english, 2006

26

Aromatic aldols and 1,5-diketones as optimized fragrance photocages

Griesbeck, Axel G., Hinze, Olga, Görner, Helmut, Huchel, Ursula, Kropf, Christian, Sundermeier, Uta, Gerke, Thomas

Journal:

Photochemical & Photobiological Sciences

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

27

[IEEE 2008 International Solid-State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2008.02.3-2008.02.7)] 2008 IEEE International Solid-State Circuits Conference - Digest of Technical Papers - A Continuous Time ¿¿ ADC for Voice Coding with 92dB DR in 45nm CMOS

Dorrer, Lukas, Kuttner, Franz, Santner, Andreas, Kropf, Claus, Puaschitz, Thomas, Hartig, Thomas, Punzenberger, Manfred

Year:

2008

Language:

english

File:

PDF, 900 KB

english, 2008

28

Isolated IgG4-related interstitial lung disease: unusual histological and radiological features of a pathologically proven case

Thomas Wibmer, Cornelia Kropf-Sanchen…

Journal:

Multidisciplinary Respiratory Medicine

Year:

2013

Language:

english

File:

PDF, 210 KB

english, 2013

29

Histology as a Potential Clinical Predictor of Outcome in Advanced Non-Small-Cell Lung Cancer Treated with Vinorelbine and Mitomycin Combination Chemotherapy

Thomas Wibmer, Thierry Berghmans, Cornelia Kropf-Sanchen, Jean-Jacques Lafitte…

Journal:

Year:

2013

Language:

english

File:

PDF, 233 KB

english, 2013

30

Tu1140 The Combined Presence of Gastroesophageal Reflux Disease and H. pylori Leads to Reduced Mucosal Inflammation in the Cardia Mucosa

Wex, Thomas, Kandulski, Arne, Kuester, Doerthe, Mönkemüller, Klaus, Fry, Lucia C., Kropf, Siegfried, Roessner, Albert, Malfertheiner, Peter

Journal:

Gastroenterology

Year:

2012

Language:

english

File:

PDF, 125 KB

english, 2012

31

Tu1139 Gastroesophageal Reflux Diseases is Associated With an Upregulation of Desmosomal Proteins (Desmogleins-1, −2, −3, Plakoglobin) in Cardia Mucosa

Kandulski, Arne, Wex, Thomas, Kuester, Doerthe, Mönkemüller, Klaus, Fry, Lucia C., Kropf, Siegfried, Roessner, Albert, Malfertheiner, Peter

Journal:

Gastroenterology

Year:

2012

Language:

english

File:

PDF, 125 KB

english, 2012

32

Wave reflection quantification based on pressure waveforms alone—Methods, comparison, and clinical covariates

Hametner, Bernhard, Wassertheurer, Siegfried, Kropf, Johannes, Mayer, Christopher, Holzinger, Andreas, Eber, Bernd, Weber, Thomas

Journal:

Computer Methods and Programs in Biomedicine

Year:

2013

Language:

english

File:

PDF, 643 KB

english, 2013

33

Single Institution Review of Allogeneic Bone Marrow Transplantation for Multiple Myeloma: An 18 Year Experience

Adjei, Abdul M., Karur, Vinit, Vadakara, Joseph, Fidler, C.J., Gandhi, Neel, Sharma, Manish, Klumpp, Thomas, Fasan, Omotayo, Martin, Mary Ellen, Kropf, Patricia Lamont, Mangan, Kenneth F.

Journal:

Biology of Blood and Marrow Transplantation

Year:

2013

Language:

english

File:

PDF, 47 KB

english, 2013

34

[IEEE 2011 IEEE International Solid- State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2011.02.20-2011.02.24)] 2011 IEEE International Solid-State Circuits Conference - A digitally controlled DC-DC converter for SoC in 28nm CMOS

Kuttner, Franz, Habibovic, Harun, Hartig, Thomas, Fulde, Michael, Babin, Gernot, Santner, Andreas, Bogner, Peter, Kropf, Claus, Riesslegger, Harald, Hodel, Uwe

Year:

2011

Language:

english

File:

PDF, 1.62 MB

english, 2011

35

[IEEE 2010 12th IEEE International Conference on e-Health Networking, Applications and Services (Healthcom 2010) - Lyon, France (2010.07.1-2010.07.3)] The 12th IEEE International Conference on e-Health Networking, Applications and Services - A modular platform for event recognition in smart homes

Fuxreiter, Thomas, Mayer, Christopher, Hanke, Sten, Gira, Matthias, Sili, Miroslav, Kropf, Johannes

Year:

2010

Language:

english

File:

PDF, 630 KB

english, 2010

36

[IEEE 2014 15th Latin American Test Workshop - LATW - Fortaleza, Brazil (2014.3.12-2014.3.15)] 2014 15th Latin American Test Workshop - LATW - Optimized hybrid verification of embedded software

Behrend, Jorg, Gruenhage, Alexander, Schroeder, Douglas, Lettnin, Djones, Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang

Year:

2014

Language:

english

File:

PDF, 94 KB

english, 2014

37

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Verification of Temporal Properties in Automotive Embedded Software

Lettnin, Djones, Nalla, Pradeep K., Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang, Kirsten, Tobias, Schonknecht, Volker, Reitemeyer, Stephan

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

38

[IEEE IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) - Porto Alegre, Brazil (2007.03.9-2007.03.11)] IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) - Coverage Driven Verification applied to Embedded Software

Lettnin, Djones, Winterholer, Markus, Braun, Axel, Gerlach, Joachim, Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

39

Auswirkungen eines Elektroantriebs auf das Bremssystem

Dr. Marc Duval-Destin,Prof. Dr. Thomas Kropf…

Journal:

ATZ - Automobiltechnische Zeitschrift

Year:

2011

Language:

german

File:

PDF, 810 KB

german, 2011

40

Impacts of an Electric Powertrain on the Braking System

Dr. Marc Duval-Destin,Prof. Dr. Thomas Kropf…

Journal:

ATZ worldwide eMagazine

Year:

2011

Language:

english

File:

PDF, 599 KB

english, 2011

41

Accelerated model-based robustness testing of state machine implementations

Heckeler, Patrick, Eichelberger, Hanno, Kropf, Thomas, Ruf, Jürgen, Huster, Stefan, Burg, Sebastian, Rosenstiel, Wolfgang, Schlich, Bastian

Journal:

ACM SIGAPP Applied Computing Review

Year:

2013

Language:

english

File:

PDF, 1.19 MB

english, 2013

42

[Lecture Notes in Computer Science] Theorem Provers in Circuit Design Volume 901 || Benchmark-circuits for hardware-verification

Kumar, Ramayya, Kropf, Thomas

Year:

1995

Language:

english

File:

PDF, 525 KB

english, 1995

43

Impact of continuous, non-invasive blood pressure measurement on sleep quality during polysomnography

Wibmer, Thomas, Schildge, Benedikt, Fischer, Christoph, Brunner, Stefanie, Kropf-Sanchen, Cornelia, Rüdiger, Stefan, Blanta, Ioanna, Stoiber, Kathrin M, Rottbauer, Wolfgang, Schumann, Christian

Journal:

Sleep and Biological Rhythms

Year:

2013

Language:

english

File:

PDF, 117 KB

english, 2013

44

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Towards assertion-based verification of heterogeneous system designs

Lammermann, Stefan, Ruf, Jurgen, Kropf, Thomas, Rosenstiel, Wolfgang, Viehl, Alexander, Jesser, Alexander, Hedrich, Lars

Year:

2010

Language:

english

File:

PDF, 573 KB

english, 2010

45

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 1703 || Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Pierre, Laurence, Kropf, Thomas

Year:

1999

Language:

english

File:

PDF, 289 KB

english, 1999

46

[IEEE 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC) - Porto, Portugal (2010.09.29-2010.10.2)] 2010 Seventh International Conference on the Quality of Information and Communications Technology - Abstract Testing: Connecting Source Code Verification with Requirements

Merz, Florian, Sinz, Carsten, Post, Hendrik, Gorges, Thomas, Kropf, Thomas

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

47

[IEEE 2009 17th IEEE International Requirements Engineering Conference (RE) - Atlanta, Georgia, USA (2009.08.31-2009.09.4)] 2009 17th IEEE International Requirements Engineering Conference - Linking Functional Requirements and Software Verification

Post, Hendrik, Sinz, Carsten, Merz, Florian, Gorges, Thomas, Kropf, Thomas

Year:

2009

Language:

english

File:

PDF, 259 KB

english, 2009

48

[IEEE 2013 16th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2013) - The Hague, Netherlands (2013.10.6-2013.10.9)] 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013) - Maneuver decision for active pedestrian protection under uncertainty

Braeuchle, Christian, Flehmig, Folko, Rosenstiel, Wolfgang, Kropf, Thomas

Year:

2013

Language:

english

File:

PDF, 1.29 MB

english, 2013

49

The identification of three novel biomarkers of major adverse kidney events

Haase, Michael, Bellomo, Rinaldo, Albert, Christian, Vanpoucke, Gregoire, Thomas, Griet, Laroy, Wouter, Verleysen, Katleen, Kropf, Siegfried, Kuppe, Hermann, Hetzer, Roland, Haase-Fielitz, Anja

Journal:

Biomarkers in Medicine

Year:

2014

Language:

english

File:

PDF, 1.64 MB

english, 2014

50

Quantitative tool to evaluate the somatic burden due to chemotherapy-induced adverse events: the somatic burden score

Koehler, Michael, Fischer, Thomas, Kropf, Siegfried, Frommer, Joerg

Journal:

Supportive Care in Cancer

Year:

2014

Language:

english

File:

PDF, 333 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски